Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
461	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics
462	Microsoft PowerPoint - Seshia-UsableVerif-Nov10 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-15 20:44:04 Electronics Cyber-physical system Model checking Worst-case execution time Embedded system Static timing analysis Software verification System Actor model Technology Computing Software testing
463	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
464	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-03 08:24:08 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
465	Evaluating the Acrobat PDF accessibility checker Add to Reading List Source URL: www.pws-ltd.com Language: English - Date: 2010-11-08 08:47:03 Portable Document Format Accessibility Adobe Acrobat Screen reader Microsoft Word CSE HTML Validator Model checking Software Computing Digital press
466	SoftCOM8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:48 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
467	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
468	The Complexity of Model Checking Multi-Stack Systems Benedikt Bollig Laboratoire Sp´ecification et V´erification, ´ Ecole Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-08-22 11:45:56 Mathematics Symbol Nested word Temporal logic Interpretation Structure Linguistics Normal distribution Formal languages Model theory Logic
469	1 Errata ”Principles of Model Checking” (JulyThanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The Netherlands (in particular David N. Jansen and Frits W. Vaandrager), Holger He Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2010-07-30 08:23:30 Constructible universe Mathematics Symbol Linear temporal logic PP
470	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving

UPDATE